#!/bin/sh

emit() {
	echo "$1" >>src/config.h
}

cat /dev/null >src/config.h
emit "/* this file is generated, don't edit manually */"
emit '#ifndef RENDY_CONFIG_H_' 
emit '#define RENDY_CONFIG_H_' 
emit '' 
emit "#define RENDY_PREFIX \"$prefix\"" 
emit '' 
emit '#define RENDY_PLUGIN_PATH \'
emit "	\"../plugins/obj:\" \\"
emit "	\"../plugins/sdr:\" \\"
emit "	\"../plugins/lt:\"	\\"
emit "	\"$prefix/lib/rendy/plugins/obj:\" \\"
emit "	\"$prefix/lib/rendy/plugins/lt:\" \\"
emit "	\"$prefix/lib/rendy/plugins/sdr\""
emit '' 
emit '#endif  /* RENDY_CONFIG_H_ */' 
